We present a set of algorithms for automated simplification of symbolic constants of the form ∑iαixi with αi rational and xi complex. The included algorithms, called SimplifySum2 and implemented in Mathematica, remove redundant terms, attempt to make terms and the full expression real, and remove terms using repeated application of the multipair PSLQ integer relation detection algorithm. Also included are facilities for making substitutions according to user-specified identities. We illustrate this toolset by giving some real-world examples of its usage, including (...) one, for instance, where the tool reduced a symbolic expression of approximately 100 000 characters in size enough to enable manual manipulation to one with just four simple terms.2Available from https://github.com/alexkaiser/SimplifySum. (shrink)

We present a one per cent measurement of the cosmic distance scale from the detections of the baryon acoustic oscillations in the clustering of galaxies from the Baryon Oscillation Spectroscopic Survey, which is part of the Sloan Digital Sky Survey III. Our results come from the Data Release 11 sample, containing nearly one million galaxies and covering approximately 8500 square degrees and the redshift range 0.2 < z < 0.7. We also compare these results with those from the publicly released (...) DR9 and DR10 samples. Assuming a concordance Λ cold dark matter cosmological model, the DR11 sample covers a volume of 13 Gpc3 and is the largest region of the Universe ever surveyed at this density. We measure the correlation function and power spectrum, including density-field reconstruction of the BAO feature. The acoustic features are detected at a significance of over 7σ in both the correlation function and power spectrum. Fitting for the position of the acoustic features measures the distance relative to the sound horizon at the drag epoch, rd, which has a value of rd,fid = 149.28 Mpc in our fiducial cosmology. We find DV = at z = 0.32 and DV = at z = 0.57. At 1.0 per cent, this latter measure is the most precise distance constraint ever obtained from a galaxy survey. Separating the clustering along and transverse to the line of sight yields measurements at z = 0.57 of DA = and H =. Our measurements of the distance scale are in good agreement with previous BAO measurements and with the predictions from cosmic microwave background data for a spatially flat CDM model with a cosmological constant. © 2014 The Author Published by Oxford University Press on behalf of the Royal Astronomical Society. (shrink)

Cyclin-dependent kinase 5 has been implicated in Alzheimer's disease pathogenesis. Here, we demonstrate that overexpression of p25, an activator of cdk5, led to increased levels of BACE1 mRNA and protein in vitro and in vivo. A p25/cdk5 responsive region containing multiple sites for signal transducer and activator of transcription was identified in the BACE1 promoter. STAT3 interacts with the BACE1 promoter, and p25-overexpressing mice had elevated levels of pSTAT3 and BACE1, whereas cdk5-deficient mice had reduced levels. Furthermore, mice with a (...) targeted mutation in the STAT3 cdk5 responsive site had lower levels of BACE1. Increased BACE levels in p25 overexpressing mice correlated with enhanced amyloidogenic processing that could be reversed by a cdk5 inhibitor. These data demonstrate a pathway by which p25/cdk5 increases the amyloidogenic processing of APP through STAT3-mediated transcriptional control of BACE1 that could have implications for AD pathogenesis. (shrink)

This is a study of a crucial and controversial topic in metaphysics and the philosophy of science: the status of the laws of nature. D. M. Armstrong works out clearly and in comprehensive detail a largely original view that laws are relations between properties or universals. The theory is continuous with the views on universals and more generally with the scientific realism that Professor Armstrong has advanced in earlier publications. He begins here by mounting an attack on the orthodox and (...) sceptical view deriving from Hume that laws assert no more than a regularity of coincidence between instances of properties. In doing so he presents what may become the definitive statement of the case against this position. Professor Armstrong then goes on to establish his own theory in a systematic manner defending it against the most likely objections, and extending both it and the related theory of universals to cover functional and statistical laws. This treatment of the subject is refreshingly concise and vivid: it will both stimulate vigorous professional debate and make an excellent student text. (shrink)

Breaking new ground in the debate about the relation of mind and body, David Armstrong's classic text - first published in 1968 - remains the most compelling and comprehensive statement of the view that the mind is material or physical. In the preface to this new edition, the author reflects on the book's impact and considers it in the light of subsequent developments. He also provides a bibliography of all the key writings to have appeared in the materialist debate.

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as the (...) most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)

Truths are determined not by what we believe, but by the way the world is. Or so realists about truth believe. Philosophers call such theories correspondence theories of truth. Truthmaking theory, which now has many adherents among contemporary philosophers, is the most recent development of a realist theory of truth, and in this book D. M. Armstrong offers the first full-length study of this theory. He examines its applications to different sorts of truth, including contingent truths, modal truths, truths about (...) the past and the future, and mathematical truths. In a clear, even-handed and non-technical discussion he makes a compelling case for truthmaking and its importance in philosophy. His book marks a significant contribution to the debate and will be of interest to a wide range of readers working in analytical philosophy. (shrink)

A wide-ranging study of the central concepts in epistemology - belief, truth and knowledge. Professor Armstrong offers a dispositional account of general beliefs and of knowledge of general propositions. Belief about particular matters of fact are described as structures in the mind of the believer which represent or 'map' reality, while general beliefs are dispositions to extend the 'map' or introduce casual relations between portions of the map according to general rules. 'Knowledge' denotes the reliability of such beliefs as representations (...) of reality. Within this framework Professor Armstrong offers a distinctive account of many of the main questions in general epistemology - the relations between beliefs and language, the notions of proposition, concept and idea, the analysis of truth, the varieties of knowledge, and the way in which beleifs and knowledge are supported by reasons. The book as a whole if offered as a contribution to a naturalistic account of man. (shrink)

This is a collection of twenty-five papers and reviews by the leading analytic philosopher of our time. It adds to the papers on metaphysics and epistemology to be found in his previous two-volume collection published by Oxford University Press. One previously unpublished paper—“Why Conditionalize?”—is included. Australasian philosophers may note with some pride that eleven of the pieces were first published in the Australasian Journal of Philosophy.

First, The doctrine of naturalism, That reality is spatio-Temporal, Is defended. Second, The doctrine of materialism or physicalism, That this spatio-Temporal reality involves nothing but the entities of physics working according to the principles of physics, Is defended. Third, It is argued that these doctrines do not constitute a "first philosophy." a satisfactory first philosophy should recognize universals, In the form of instantiated properties and relations. Laws of nature are constituted by relations between universals. What universals there are, And what (...) relations hold between them, Must be discovered "a posteriori" by scientific investigation. (shrink)

Dispositions are essential to our understanding of the world. IDispositions: A Debate is an extended dialogue between three distinguished philosophers - D.M. Armstrong, C.B. Martin and U.T. Place - on the many problems associated with dispositions, which reveals their own distinctive accounts of the nature of dispositions. These are then linked to other issues such as the nature of mind, matter, universals, existence, laws of nature and causation.

D. M. Armstrong; II—Does Knowledge Entail Belief?, Proceedings of the Aristotelian Society, Volume 70, Issue 1, 1 June 1970, Pages 21–36, https://doi.org/10.109.

Argues that a set is the mereological whole of the singleton sets of its members (following Lewis's Parts of Classes), and that the singleton set of X is the state of affairs of X's having some unit-making property.

It is not certain when or by whom S0009838800011642_inline1 and S0009838800011642_inline2 were first technically distinguished as genus and species. The distinction does not appear in Plato's extant writings, whereas Aristotle seems to take it for granted in the Topics, which is usually regarded as among his earliest treatises. In his dialogues Plato seems able to use S0009838800011642_inline3 interchangeably to denote any group or division in a diairesis, including the group that is to be divided.

It is not certain when or by whomandwere first technically distinguished asgenusandspecies. The distinction does not appear in Plato's extant writings, whereas Aristotle seems to take it for granted in theTopics, which is usually regarded as among his earliest treatises. In his dialogues Plato seems able to useinterchangeably to denote any group or division in a diairesis, including the group that is to be divided.

I want to defend a Combinatorialtheory of possibility. Such a view traces the very idea of possibility to the idea of the combinations – all the combinations which respect a certain simple form – of given, actual, elements. Combination is to be understood widely enough to cover the notions of expansion and contraction. The combinatorial idea is not new, of course. Wittgenstein gave a classical exposition of it in the Tractatus. Perhaps its charter is 3.4: ‘A proposition determines a place (...) in logical space. The existence of this logical place is guaranteed by the mere existence of the constituents’. There is a small additional combinatorial literature. I myself was converted to a combinatorial view by Brian Skyrms’ brief but fascinating article ‘Tractarian Nominalism.’. (shrink)

It is not certain when or by whomandwere first technically distinguished asgenusandspecies. The distinction does not appear in Plato's extant writings, whereas Aristotle seems to take it for granted in theTopics, which is usually regarded as among his earliest treatises. In his dialogues Plato seems able to useinterchangeably to denote any group or division in a diairesis, including the group that is to be divided.

The central insight of Darwin's Origin of Species is that evolution is an ecological phenomenon, arising from the activities of organisms in the 'struggle for life'. By contrast, the Modern Synthesis theory of evolution, which rose to prominence in the twentieth century, presents evolution as a fundamentally molecular phenomenon, occurring in populations of sub-organismal entities - genes. After nearly a century of success, the Modern Synthesis theory is now being challenged by empirical advances in the study of organismal development and (...) inheritance. In this important study, D. M. Walsh shows that the principal defect of the Modern Synthesis resides in its rejection of Darwin's organismal perspective, and argues for 'situated Darwinism': an alternative, organism-centred conception of evolution that prioritises organisms as adaptive agents. His book will be of interest to scholars and advanced students of evolutionary biology and the philosophy of biology. (shrink)

The role of the environment in producing the correct classical limit in the Bohm interpretation of quantum mechanics is investigated, in the context of a model of quantum Brownian motion. One of the effects of the interaction is to produce a rapid approximate diagonalisation of the reduced density matrix in the position representation. This effect is, by itself, insufficient to produce generically quasi-classical behaviour of the Bohmian trajectory. However, it is shown that, if the system particle is initially in an (...) approximate energy eigenstate, then there is a tendency for the Bohmian trajectory to become approximately classical on a longer time-scale. The relationship between this phenomenon and the behaviour of the Wigner function post-decoherence is discussed. (shrink)

Analyzes difficult case in the theory of truthmaking. Account on the notion of a truthmaker by philosopher Bertrand Russell; Context of the correspondence theory of truth; Requisites of a truthmaker; Discussion on negative truths, universally quantified truths and modal truths.

Quantum mechanics is a fundamentally probabilistic theory (at least so far as the empirical predictions are concerned). It follows that, if one wants to properly understand quantum mechanics, it is essential to clearly understand the meaning of probability statements. The interpretation of probability has excited nearly as much philosophical controversy as the interpretation of quantum mechanics. 20th century physicists have mostly adopted a frequentist conception. In this paper it is argued that we ought, instead, to adopt a logical or Bayesian (...) conception. The paper includes a comparison of the orthodox and Bayesian theories of statistical inference. It concludes with a few remarks concerning the implications for the concept of physical reality. (shrink)